Lower Bound on the Correlation Between Monotone Families in the Average Case

A well-known inequality due to Harris and Kleitman [4, 10] states that any two monotone subsets of {0, 1} are non-negatively correlated with respect to the uniform measure on {0, 1}. In [15], Talagrand established a lower bound on the correlation in terms of how much the two sets depend simultaneously on the same coordinates. In this paper we show that when the correlation is averaged over all the pairs A,B ∈ T for any family T of monotone subsets of {0, 1}, the lower bound asserted in [15] can be improved, and more precise estimates on the average correlation can be given. Furthermore, we generalize our results to the correlation between monotone functions on [0, 1] with respect to the Lebesgue measure.